YES 0.677
↳ HASKELL
↳ LR
((unzip3 :: [(b,c,a)] -> ([b],[c],[a])) :: [(b,c,a)] -> ([b],[c],[a])) |
import qualified Prelude |
\(a,b,c)~(as,bs,cs)→(a : as,b : bs,c : cs)
unzip30 (a,b,c) ~(as,bs,cs) = (a : as,b : bs,c : cs)
↳ HASKELL
↳ LR
↳ HASKELL
↳ IPR
((unzip3 :: [(b,c,a)] -> ([b],[c],[a])) :: [(b,c,a)] -> ([b],[c],[a])) |
import qualified Prelude |
~(as,bs,cs)
unzip300 (as,bs,cs) = as
unzip301 (as,bs,cs) = bs
unzip302 (as,bs,cs) = cs
↳ HASKELL
↳ LR
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
((unzip3 :: [(b,a,c)] -> ([b],[a],[c])) :: [(b,a,c)] -> ([b],[a],[c])) |
import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((unzip3 :: [(c,b,a)] -> ([c],[b],[a])) :: [(c,b,a)] -> ([c],[b],[a])) |
import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ LR
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(unzip3 :: [(a,c,b)] -> ([a],[c],[b])) |
import qualified Prelude |
↳ HASKELL
↳ LR
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ QDP
↳ QDPSizeChangeProof
new_foldr(:(vy30, vy31), ba, bb, bc) → new_foldr(vy31, ba, bb, bc)
From the DPs we obtained the following set of size-change graphs: